#!/usr/bin/env -S awk -f

/^[ ]+[0-9]+.*[ ]+Skipping/ {
	printf("tcase.%s.skip\n", $2)
}

/^[ ]+[0-9]+.*[ ]+[0-9|.]+.*/ {
	printf("RATE.%s.ops_per_sec: %s\n", $2, $6)
}
